Display 681 - 720 hits of 11269.
| congruity | 21-2.mga10 | noarch | Logitech Harmony remote programmer GUI | Mageia Cauldron |
| congruity | 21-2.mga10 | noarch | Logitech Harmony remote programmer GUI | Mageia Cauldron |
| congruity | 21-2.mga10 | noarch | Logitech Harmony remote programmer GUI | Mageia Cauldron |
| congruity | 21-1.mga9 | noarch | Logitech Harmony remote programmer GUI | Mageia 9 |
| congruity | 21-1.mga9 | noarch | Logitech Harmony remote programmer GUI | Mageia 9 |
| congruity | 21-1.mga9 | noarch | Logitech Harmony remote programmer GUI | Mageia 9 |
| congruity | 21-1.mga9 | noarch | Logitech Harmony remote programmer GUI | Mageia 9 |
| coq | 8.16.1-1.mga9 | i586 | The Coq Proof Assistant | Mageia 9 |
| coq | 8.16.1-1.mga9 | x86_64 | The Coq Proof Assistant | Mageia 9 |
| coq | 8.16.1-1.mga9 | x86_64 | The Coq Proof Assistant | Mageia Cauldron |
| coq | 8.16.1-1.mga9 | i586 | The Coq Proof Assistant | Mageia Cauldron |
| coq-debuginfo | 8.16.1-1.mga9 | x86_64 | Debug information for package coq | Mageia 9 |
| coq-debuginfo | 8.16.1-1.mga9 | x86_64 | Debug information for package coq | Mageia Cauldron |
| coq-debuginfo | 8.16.1-1.mga9 | i586 | Debug information for package coq | Mageia 9 |
| coq-debuginfo | 8.16.1-1.mga9 | i586 | Debug information for package coq | Mageia Cauldron |
| coq-debugsource | 8.16.1-1.mga9 | x86_64 | Debug sources for package coq | Mageia Cauldron |
| coq-debugsource | 8.16.1-1.mga9 | i586 | Debug sources for package coq | Mageia Cauldron |
| coq-debugsource | 8.16.1-1.mga9 | x86_64 | Debug sources for package coq | Mageia 9 |
| coq-debugsource | 8.16.1-1.mga9 | i586 | Debug sources for package coq | Mageia 9 |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia Cauldron |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia 9 |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia Cauldron |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia Cauldron |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia 9 |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia Cauldron |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia 9 |
| coq-doc | 8.16.1-1.mga9 | noarch | Documentation for coq | Mageia 9 |
| coq-ide | 8.16.1-1.mga9 | i586 | The Coq Integrated Development Interface | Mageia Cauldron |
| coq-ide | 8.16.1-1.mga9 | i586 | The Coq Integrated Development Interface | Mageia 9 |
| coq-ide | 8.16.1-1.mga9 | x86_64 | The Coq Integrated Development Interface | Mageia 9 |
| coq-ide | 8.16.1-1.mga9 | x86_64 | The Coq Integrated Development Interface | Mageia Cauldron |
| coq-ide-debuginfo | 8.16.1-1.mga9 | x86_64 | Debug information for package coq-ide | Mageia Cauldron |
| coq-ide-debuginfo | 8.16.1-1.mga9 | i586 | Debug information for package coq-ide | Mageia 9 |
| coq-ide-debuginfo | 8.16.1-1.mga9 | x86_64 | Debug information for package coq-ide | Mageia 9 |
| coq-ide-debuginfo | 8.16.1-1.mga9 | i586 | Debug information for package coq-ide | Mageia Cauldron |
| coq-ide-server | 8.16.1-1.mga9 | i586 | The coqidetop language server | Mageia Cauldron |
| coq-ide-server | 8.16.1-1.mga9 | x86_64 | The coqidetop language server | Mageia 9 |
| coq-ide-server | 8.16.1-1.mga9 | i586 | The coqidetop language server | Mageia 9 |
| coq-ide-server | 8.16.1-1.mga9 | x86_64 | The coqidetop language server | Mageia Cauldron |
| coq-ide-server-debuginfo | 8.16.1-1.mga9 | x86_64 | Debug information for package coq-ide-server | Mageia 9 |
